Skyline Sampling Choosing Representative Objects from Skylines by Combining Low-Dimensional Subset Skylines Stefan Schnürle Competence Center Distributed Secure Software Systems (D3S)

Source URL: ecom.d3s.ch

• Mathematical optimization
• Game theory
• Pareto efficiency
• Voting system criteria
• Cluster analysis
• Economics
• Database
• Academia
• Economy

Steering User Behavior with Badges Ashton Anderson Stanford University

Source URL: www2013.wwwconference.org

• Computing
• Software
• Computer icons
• Mathematical optimization
• Statistics
• Brooches
• Operations research
• Stack Exchange network
• Stack Overflow
• Badge
• Mozilla Open Badges
• Heraldic badge

A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t

Source URL: software.imdea.org

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• KeY
• Formal verification
• Dynamic logic
• Automated theorem proving
• Logic
• Language-based security

Scientific Report First name / Family name Francesco Santini

Source URL: fellowship.ercim.eu

• Constraint programming
• Mathematical optimization
• Software engineering
• Computer programming
• Constraint automaton
• Computing
• Constraint satisfaction problem
• Constraint satisfaction
• Constraint
• Reo Coordination Language
• Constrained optimization
• Multi-agent system

Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software Salman Cheema and Joseph J. LaViola Jr. University of Central Florida School of EECS Orlando, FL 32816

Source URL: www.eecs.ucf.edu

The BUILDING STRONG FAMILIES PROJECT Strengthening Unmarried Parents’ Relationships: The Early Impacts

Source URL: www.becomingparents.com

• Software
• Application software
• Mathematical software
• Relationship education
• United States Department of Health and Human Services
• Building Strong Families Program
• John Gottman
• Mathematica Policy Research
• MDRC
• Wolfram Mathematica

A Theory of Indirection via Approximation Aquinas Hobor ∗† Robert Dockins† Andrew W. Appel †

Source URL: www.cs.princeton.edu

• Mathematical logic
• Software engineering
• Logic
• Formal languages
• Computability theory
• Models of computation
• Lambda calculus
• Formal methods
• Interpretation
• Syntactic predicate
• System F
• Monad

Energy Efficient DVFS Scheduling for Mixed-Criticality Systems Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerland first

Source URL: www.tik.ethz.ch

• Operations research
• Computational problems
• Mixed criticality
• Safety engineering
• Software engineering
• Systems engineering
• Power management
• Mathematical optimization
• Optimization problem
• Systems science
• Computing
• Systems theory

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin

Source URL: se.inf.ethz.ch

• Statistics
• Robot control
• Probability
• Mathematical analysis
• Estimation theory
• Linear filters
• Computational statistics
• Kalman filter
• Conditional probability
• Joint probability distribution
• Particle filter